Foal 2003 Proceedings Foundations of Aspect-oriented Langauges Workshop at Aosd 2003 Composition Graphs, a Foundation for Reasoning about Aspect-oriented Composition . . . . . . 1
نویسنده
چکیده
Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-oriented approaches in a uniform way that can serve as a basis for the comparison of aspect-oriented languages. We also present a transformation language which can be used to model different weaving operations in our model.
منابع مشابه
FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003
Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-orien...
متن کاملFOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004
Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. This workshop was de...
متن کاملFOAL 2002 Proceedings: Foundations of Aspect-Oriented Langauges Workshop at AOSD 2002
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies an action to be taken whenever some condition arises during the execution of the program. The condition is specified by a formula called a pointcut designator or pcd. The events during execution at which advice may be tr...
متن کاملFOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005
The proof of the behaviour-preserving property of programming laws is not trivially demonstrated. It is necessary to show that the programs, before and after the transformation, have the same behaviour. In this paper we show how it is possible to prove that an aspect-oriented programming law preserves behaviour; an operational semantics for Method Call Interception is used. An equivalence relat...
متن کاملWorkshop Schedule an Analysis of Aspect Composition Problems
Foreword EWAS.06, the third European Workshop on Aspects in Software, follows the tradition of its two predecessor workshop series organized independently by the German " Gesellschaft für Informatik " , Belgian and Dutch research groups. It focuses on providing AOSD researchers and practitioners with an interactive forum for fostering novel ideas and turning submitted material into conference-r...
متن کامل